# objdump: -dr
#...
